Centralised resource allocation using Lexicographic Goal Programming. Application to the Spanish public university system