Computing the Brauer–Manin obstructions