ELIMINATION THEORY FOR TROPICAL VARIETIES