lin manuel miranda quotes