lin manuel miranda and ben platt join forces for ultimate broadway mashup