What direct benefit did holy roman emperior otto receive from his successful battle against magyar invaders