Robust and Provably Monotonic Networks