Mathematical Programming Models for Influence Maximization on Social Networks