updated Eigen library from 3.1.2 to 3.1.3