Computer Aided Conformance Checking: Checking Residential Building Designs against Building Regulations with the Aid of Computers