Bottom production cross section from double muonic decays of b-hadrons in 920 GeV proton-nucleus collision