Email (record): Time optimal entrainment control for circadian rhythm