Supernova Model Discrimination with Hyper-Kamiokande