Farkas-type theorems for interval linear systems