Title: Formal optimization of hovering performance using free wake lifting surface theory