TH\"OR-MAGNI: A Large-scale Indoor Motion Capture Recording of Human Movement and Robot Interaction