An Automated Framework for Integrating Crime Prevention through Environmental Design into BIM-Based Security Validation