Relation between daylight availability and electric lighting in a single-family house