An introduction to the European convention on human rights