If a ladder is leaning against a building at a specified angle with a specified number of feet between the bottom of the ladder and the base of the building, what formula do I use to find the length of the ladder?