A Distributed Multi-Model Platform to Cosimulate Multi-Energy Systems in Smart Buildings