The heavy minerals of the Mansfield sandstone of Indiana