An introduction to non-life insurance mathematics