Maximum principle and bang-bang property of time optimal controls for Schrödinger type systems