An optimal control model for maximum-height human jumping