What is cholesterol used for in our bodies?