what is lin manuel miranda’s net worth