Huawei P50 Pocket is now official: Specifications and price