Public sector energy consumption in Ireland