Geometric programming relaxations for linear system reachability