that would be enough phillipa soo lin manuel miranda lyrics music