Rewriting Neural Networks with Keras: A Deep Dive into Backpropagation and Optimization Algorithms