The Broad Optimality of Profile Maximum Likelihood