Given $2^x = 5$ and $2^y = 3$, solve for $x$ in terms of $y$ and base-2 logarithms.