Modeling Communication Reliability in LoRa Networks with Device-level Accuracy