Mathematical Formulations, Algorithms And Theory For Big Data Problems