Ab initio study of the Jahn–Teller distortion in the B4+