How Sonic Mania Makes a Level