Eritrea’s Mining Sector: Government Policy, Progress to-date & Future Prospects