Occupational dust and radiation exposure and mortality from stomach cancer among German uranium miners, 1946–2003