NP Reasoning in the Monotone Μ-Calculus