A linear-time algorithm to find a separator in a graph excluding a minor