PinePhone Pro launches with RK3399 and 4GB RAM