Reachability analysis of linear systems using support functions