Large cycles in 4-connected graphs