In a series of independent Bernoulli trials with success probability $p$, let $X$ be the total number of successes in the first $n$ trials, and $Y$ be the number of successes in the first $m$ trials (where $m < n$). What is the conditional expectation $E[X \mid Y = y]$?