Towards MKM in the Large: Modular Representation and Scalable Software Architecture