An introduction to Value-at-Risk