The isoperimetric inequality in the Grushin plane