What is progressive enhancement in web design?