Tarski's free group problem