Any Israeli attempt to destroy Iran's nuclear programme poses huge technical challenges for Israeli military planners. BBC Defence Correspondent Jonathan Marcus looks at some of the options open to Israel and asks whether it has the capacity to carry out such a mission.