Introduction to Semismooth Newton Based Proximal Point Algorithms for Big Sparse Optimization Models