lin-manuel miranda net worth 2021