Configuration Validation with Large Language Models