What are Bitcoin layer 2s: An exhaustive explanation (with examples)