Mathematical modelling with experimental correlation for multiple craters dimension, material removal rate and surface roughness in electrical discharge machining