Lin-Manuel Miranda on the hard fight to turn a groundbreaking musical into a movie