A survey of occupational exposure to man-made mineral fibre dust.