Describe and derive the BP-supervised learning of ResNet neural networks. Derive stochastic gradient formulas including the following neural network layers, respectively: convolution layer (with Relu function as the activation function), Max Pooling layer and Normalization layer, residual layer, and fully connected layer (with Softmax as the activation function). Also, use cross-entropy with L2 regularization as the penalty function.