Property exempt from ad valorem taxation by federal law is exempt from taxation.