What is the Drake Equation: the math that predicts how many alien civilizations are out there