work done by friction on a cart