The IRMOS/ISONI Real-Time Cloud Infrastructure: a Virtualised e-Learning Case-Study