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