Gravar-mail: STELAR: a statistically consistent coalescent-based species tree estimation method by maximizing triplet consistency