lin manuel miranda net worth 2022