Tarski's circle squaring problem