[core] Update version number in __init__ to 3.1.2