China has formally arrested and charged four employees of mining firm Rio Tinto with stealing trade secrets and taking bribes, Chinese state media reports.