Symbolic dynamics for the Lozi map