The work done by a force is defined as the product of which two quantities?