Masked Hard-Attention Transformers and Boolean RASP Recognize Exactly the Star-Free Languages