Takaful:Models and markets in the United Kingdom and Europe