Cosmic-muon flux and annual modulation in Borexino at 3800 m water-equivalent depth