It is commonly called the funny bone, where is it?