Do Charge Prediction Models Learn Legal Theory?