Validation Tests of Predictive Models of Butterfly Occurrence Based on Environmental Variables