Thermal comfort and productivity in offices under mandatory electricity savings after the Great East Japan earthquake