Service Workers: an Introduction