The 4-hour workday is not a crazy idea