There is one more thing to mention, if you have a group of miners already present, don't send new ships to join that task group. You must send ships to the asteroid first , then tell them to join the task group, otherwise their mining rate won't be added to the total there.
The same applies for sorium harvesters, terraformers, orbital habitats and maintenance vessels.