Projection of the change in future extremes over Japan using a cloud-resolving model: (1) Model verification and first results