It's official! Rand Paul is running for president!