Proton-ordered models of ordinary ice for quantum-mechanical studies