Abstraction based Output Range Analysis for Neural Networks