Bones that articulate with the sphenoid include?