Energy regulations for houses in the Netherlands: Theory and practice