The function $f$ is defined by $f(x)=x-7$. If $f(a)=12$, where $a$ is a constant, what is the value of $a$?