The Monotonic Abduction Problem: A Functional Characterization on the Edge of Tractability