Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers