https://www.ernbook.com/algorithm-first-missing-positive/