What are Lottie animations, and how can they be used on websites?