Lower bounds in distributed computing