Towards a Real-Time Building Energy Model Supported by Devices Profile for Web Services and IEC 61850