Gauteng allocated more than 450 soldiers to tackle illegal mining, gang violence