Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall