Which of the following programming languages is used for web development?