Comparison between MIPAS/Envisat and GLAS/ICESat detection of optically thin clouds and constraints on the existence of high altitude tropical NAT clouds by MIPAS