MediaDoc: automated generation of multimedia explanatory presentations