The twin prime conjecture