Optimal beef cattle diets formulated by nonlinear programming.