WD-40 is a hugely popular product around the world, but few people will have any idea what the name stands for