The ancient Roman alternative to daylight savings time