The Mathematical Work of Charles Babbage