Automating Crystal-Structure Phase Mapping: Combining Deep Learning with Constraint Reasoning