3 former presidents mourn John Lewis at funeral