Computing positive tropical varieties and lower bounds on the number of positive roots