Pontryagin maximum principle