Filling cages: reverse mathematics and combinatorial principles