Update version number and NEWS for 3.12.2