Caterpillar will sell Bucyrus equipment under its brand