An ANN-exhaustive-listing method for optimization of multiple building shapes and envelope properties with maximum thermal performance