ARCEAK: An Automated Rule Checking Framework Enhanced with Architectural Knowledge