Equivalent formulations of optimal control problems with maximum cost and applications