Generating Robot Constitutions & Benchmarks for Semantic Safety