Rational functions of degree four that permute the projective line over a finite field