Ending lamination conjecture