Nonlinear High-Gain Observer Design via Semidefinite Programming