How many types of media formats does HTML support?