Loewner's Theorem on Monotone Matrix Functions