氪气是什么？制取方法有什么？都应用于什么行业？