royalty definition