The sign problem and the Lefschetz thimble