Automated Process Planning Based on a Semantic Capability Model and SMT