Building operation and energy management systems