Structure and regularity of the singular set in the obstacle problem for the fractional Laplacian