Upgrade Eigen to version 3.1.2