Is it possible to derive an expression for length contraction from the classic "charged particles moving next to a current-carrying wire" example?