When was diving included in the Summer Olympics programme for the first time?

**********