public ownership of mining