Gravar-mail: Programmable bacteria detect and record an environmental signal in the mammalian gut