Solvable Models of Artificial Neural Networks