What programming languages are used in web technology?