Bringing Pupils into Building Energy Performance: School Design, Construction and Operation