On light logics, uniform encodings and polynomial time