Efficient semi-streaming algorithms for local triangle counting in massive graphs