A computational approach for checking compliance with European view and sunlight exposure criteria