Supplying the Mining World: The Mining Equipment Manufacturers of San Francisco, 1850-1900