Global Human-guided Counterfactual Explanations for Molecular Properties via Reinforcement Learning