I wanted to take advantage of speed-ramping throughout the video. Speed-ramping is progressively changing the speed that video is played back at, either speeding it up or slowing it down. For example, starting with a shot in slow motion, speeding it up for a half second, then returning it to slow motion for the rest of the clip. Examples of this appear throughout the final video: most notably at 00:30, the lift sequence, and at 00:37, the monochrome shot of the models in the hallway.
To make sure I could take advantage of speed ramping in any given shot when it came to edit the video later on, I pre-emptively shot the entire video in 60fps slow-motion. Not videographically-correct, perhaps, but there was enough light to get away with a 1/125 shutter speed at all times, and employing this method from the start gave me much more flexibility in the edit (and I didn't need to constantly change my frame rate and shutter speed whilst shooting). For shots I wanted to appear "normal-speed" later on, I simply doubled the speed they would play back. The final video was rendered at 30fps.
I should be careful perhaps to clarify that the video wasn't completely made in the editing suite - preproduction is important. The only reason I was able to edit the video in a few hours was because of the amount of planning and practice which went into the choreography of the shots before picking up the camera, and I had a good idea of what the final video would look like before downloading the footage to begin editing.
I edited using Final Cut Pro X on my 13inch Late 2016 MacBook Pro. I'm comfortable using Adobe Premiere Pro (and it's what I started on) but I find Final Cut to handle 4k footage much better (also, it doesn't crash every 10 minutes). The project timeline is below.