An introduction to philosophical theories of happiness: what is it to be happy?