NATO air campaign over Libya comes to an end