What dimensions should the windows in the house have?