Proposal for a User Modeling Markup Language