Prompt atmospheric neutrino production of W-bosons