What is JRE (Java Runtime Environment)?