SMTCoq: Safe and Efficient Automation in Coq