Lin-Manuel Miranda wrote the lyrics and played the title role in this musical