Android: support 'interval' in spinner-style time picker