Quotient completion for the foundation of constructive mathematics