Smoking shall be prohibited in all areas of a mine where exposure records are required to be kept in compliance with standard 57.5040.