professor layton and the mask of miracle