manufactured sand definition