Post's correspondence problem