Australian people involved in the business of mining: board members, managers etc., as distinct from entrepreneurs