Bump version 3.1.2, update changelog