How long do devil lizards live?