The terms asphalt and bitumen are often used interchangeably to mean both natural and manufactured forms of the substance. Where is bitumen the usual term for refined residue from crude oils?