MILスペックに準拠した4K液晶搭載のモバイルワークステーション、レノボ「ThinkPad P51s」